$\forall$${\it Cmd}$:Type, ${\it cmd}$:${\it Cmd}$. csinput(${\it cmd}$) $\in$ chain\_sys(${\it Cmd}$)